Det finns huvudsakligen tre olika sätt att konstruera ett partitionerat system på: Federerad arkitektur, Integrerad Modulär Avionik (IMA) med ARINC 653 eller IMA med virtualisering. I den här rapporten undersöks de olika arkitekturernas egenskaper och vilka möjligheter som finns för certifiering av dem. Efter den teoretiska undersökningen har Virtualisering, och framförallt Xen, valts ut för en testimplementation och tillförlitlighetstester.Testimplementationen består av fyra partitioner där varje partition har sin specifika uppgift att lösa. Den fjärde partitionen används för att undersöka hur Xen hanterar en partition som aggressivt nyttjar I/O, processor eller arbetsminne.Testerna visar att Xen har en svag punkt: all I/O hanteras via en egen, speciell, partition. Denna partition saknar dessutom möjligheter att prioritera I/O från specifika partitioner.